kindtype($i$;$k$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$if isrcv($k$)$\rightarrow$ es{-}M(${\it es}$)(lnk($k$),tag($k$)) else es{-}V(${\it es}$)($i$,act($k$)) fi